Workshop on Declarative Aspects of Multicore Programming
نویسندگان
چکیده
The advent of multi-core processors has brought parallel programming to the mainstream. Memory ordering plays a fundamental role in writing efficient and correct parallel programs. This talk will discuss the recently released Intel 64 architecture memory ordering. We will discuss the motivation, and the guarantees provided by this ordering. We will also discuss how it relates to language level memory models.
منابع مشابه
Proceedings of the Workshop on Linear Logic and Logic Programming
Declarative programming languages often fail to effectively address many aspects of control and resource management. Linear logic provides a framework for increasing the strength of declarative programming languages to embrace these aspects. Linear logic has been used to provide new analyses of Prolog's operational semantics, including left-to-right/depth-first search and negation-as-failure. I...
متن کاملDeclarative Agent Languages and Technologies Workshop Organisers Programme Committee Steering Committee Additional Reviewers Composing High-level Plans for Declarative Agent Programming . . . . . . . . . . 115 Integrating Agent Models and Dynamical Systems
Agent-based modelling approaches are usually based on logical languages, whereas in many areas dynamical system models based on differential equations are used. This paper shows how to model complex agent systems, integrating quantitative, numerical and qualitative, logical aspects, and how to combine logical and mathematical analysis methods.
متن کاملDeclarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991
Well, someone can decide by themselves what they want to do and need to do but sometimes, that kind of person will need some declarative programming sasbachwalden 1991 phoenix seminar and workshop on declarative programming sasbachwalden black forest germany 18 22 november 1991 references. People with open minded will always try to seek for the new things and information from many sources. On t...
متن کاملDeclarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کامل